Theoretical Computer Science

A program logic for resources

Functional Programming / Design / Theoretical Computer Science / Conception / Mathematical Sciences / Reasoning / Virtual Machine / Verification / Code / Levels of Abstraction / Proof / Operational Semantics / Hierarchy / Implementation / Type System / Object / Object-oriented languages / Functional / Resource / Proof Carrying Code / Completeness / Object Oriented / Termination / Prototype / SOUNDNESS / Reasoning / Virtual Machine / Verification / Code / Levels of Abstraction / Proof / Operational Semantics / Hierarchy / Implementation / Type System / Object / Object-oriented languages / Functional / Resource / Proof Carrying Code / Completeness / Object Oriented / Termination / Prototype / SOUNDNESS

A program logic for resources

Functional Programming / Design / Theoretical Computer Science / Conception / Mathematical Sciences / Reasoning / Virtual Machine / Verification / Code / Levels of Abstraction / Proof / Operational Semantics / Hierarchy / Implementation / Type System / Object / Object-oriented languages / Functional / Resource / Proof Carrying Code / Completeness / Object Oriented / Termination / Prototype / SOUNDNESS / Reasoning / Virtual Machine / Verification / Code / Levels of Abstraction / Proof / Operational Semantics / Hierarchy / Implementation / Type System / Object / Object-oriented languages / Functional / Resource / Proof Carrying Code / Completeness / Object Oriented / Termination / Prototype / SOUNDNESS

Discrete parabolas and circles on 2D cellular automata

Cellular Automata / Theoretical Computer Science / Mathematical Sciences

Bio-PEPAd: a non-Markovian extension of Bio-PEPA

Theoretical Computer Science / Mathematical Sciences

Bio-PEPAd: A non-Markovian extension of Bio-PEPA

Theoretical Computer Science / Mathematical Sciences

Computing LOGCFL certificates

Complexity / Theoretical Computer Science / Mathematical Sciences / Parallel Computation / Decision Problem / Turing machine / Parallel Computer / Constraint Satisfaction / Constraint Satisfaction Problem / Chromatic Number / Turing machine / Parallel Computer / Constraint Satisfaction / Constraint Satisfaction Problem / Chromatic Number

Computing LOGCFL certificates

Complexity / Theoretical Computer Science / Mathematical Sciences / Parallel Computation / Decision Problem / Turing machine / Parallel Computer / Constraint Satisfaction / Constraint Satisfaction Problem / Chromatic Number / Turing machine / Parallel Computer / Constraint Satisfaction / Constraint Satisfaction Problem / Chromatic Number

Syntactic control of concurrency

Model Checking / Theoretical Computer Science / Mathematical Sciences / Second Order / Type System / Game semantics / Observational Equivalence / Programming language / Data Type / Game semantics / Observational Equivalence / Programming language / Data Type

Training sequences

Theoretical Computer Science / Mathematical Sciences

Text sparsification via local maxima

Computational Complexity / Theoretical Computer Science / Decision Theory / Algorithm / Space / DNA / Data Structure / Process / Identification / Properties / Text / Mathematical Sciences / Technique / Number / Average / Word / Pattern Matching / Indexing / Symbol / Filter / Order / Reduction / Index / Sequence / Iteration / Alphabet / Length / Procedure / Text Indexing / Division / Indexation / NP-completeness / DNA sequence / DNA / Data Structure / Process / Identification / Properties / Text / Mathematical Sciences / Technique / Number / Average / Word / Pattern Matching / Indexing / Symbol / Filter / Order / Reduction / Index / Sequence / Iteration / Alphabet / Length / Procedure / Text Indexing / Division / Indexation / NP-completeness / DNA sequence

Computability with low-dimensional dynamical systems

Theoretical Computer Science / Mathematical Sciences / Dynamic System

Computing LOGCFL certificates

Complexity / Theoretical Computer Science / Mathematical Sciences / Parallel Computation / Decision Problem / Turing machine / Parallel Computer / Constraint Satisfaction / Constraint Satisfaction Problem / Turing machine / Parallel Computer / Constraint Satisfaction / Constraint Satisfaction Problem

Computing LOGCFL Certificates

Complexity / Theoretical Computer Science / Mathematical Sciences / Parallel Computation / Decision Problem / Turing machine / Parallel Computer / Constraint Satisfaction / Constraint Satisfaction Problem / Turing machine / Parallel Computer / Constraint Satisfaction / Constraint Satisfaction Problem

Shortest consistent superstrings computable in polynomial time

Theoretical Computer Science / Mathematical Sciences

Equilogical spaces

Type Theory / Theoretical Computer Science / Domain Theory / Higher Order Thinking / Mathematical Sciences / Topological Space / Building Model / Dependent type theory / Topological Space / Building Model / Dependent type theory

Inplace run-length 2d compressed search

Data Compression / Theoretical Computer Science / Mathematical Sciences / Pattern Matching / Space Use

Copyright © 2017 DATOSPDF Inc.